Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
761	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
762	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:46 Lisp programming language Data types Functional languages Recursion Functional programming Cons CAR and CDR Lisp Scheme Software engineering Computing Computer programming
763	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
764	A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics
765	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
766	Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2007-08-19 16:32:34 Type theory Lambda calculus Procedural programming languages Logic in computer science Theoretical computer science Combinatory logic Curry–Howard correspondence Anonymous function Expression Software engineering Programming language theory Computing
767	Combining Narratives John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:17:15 Theoretical computer science Logic in computer science Knowledge representation Human spaceflight Situation calculus S0 Event calculus Fluent Entailment Spaceflight Logic Logic programming
768	On solving mixed-integer constraint satisfaction problems with unbounded variables Hermann Schichl? , Arnold Neumaier, Mih´ aly Csaba Mark´ot, and Ferenc Domes Faculty of Mathematics, University of Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-01-14 04:38:39 Computing Constraint satisfaction Local consistency Mathematical optimization Projective space Transcendental number Linear programming Constraint logic programming Constraint programming Software engineering Computer programming
769	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
770	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory

UPDATE